next(${\it tab}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ptr(${\it tab}$)$<_{2}\parallel$${\it tab}$$\parallel$ $\rightarrow$ inl($\langle$ptr(${\it tab}$)$,\,$st{-}atom(${\it tab}$;ptr(${\it tab}$))$\rangle$) else inr($\cdot$) fi